• make Web API code/run pass webReply :: WebInvocationState -> IO () to TUI
  • send InProgress or Rejected
  • once REPLDone send Complete
• add remote REPL shell script
• closes Return real result in Web API /code/run #1426

This uses the "IO wrapper" trick from #2098 - thus we can be sure that TUI will be the producer and Web API the consumer.

Example:

cabal run swarm -O0 -- --scenario blank  # in another terminal
curl -XGET --header "Content-Type: text/plain;charset=utf-8" localhost:5357/code/run --data "1 + 1"

{"InProgress":[]}
{"Complete":"it1 : Int = 2"}

You can also test it with the shell script, that tries to act as a REPL and strips the JSON unless it gets an error:

❯ scripts/remote-repl.sh
> move
> scan down
it0 : Unit + Text = inl ()
> grab // exception written to log is not shown here
> grob
{
  "ParseError": "1:1: Unbound variable grob\n"
}
>